3921. The semantic web -- ISWC 2018 :
پدیدآورنده: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
3922. The theory of matrices
پدیدآورنده: / Peter Lancaster, Miron Tismenetsky
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Matrices
رده :
QA
188
.
L36
1984
3923. The theory of matrices :
پدیدآورنده: Peter Lancaster, Miron Tismenetsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Matrices.,Matrices.,31.25 (multi)linear algebra.,MATRICES (MATHEMATICS),Matrices.,Matrices.,Matrices.,Matrix,Matrizenrechnung,Matrizentheorie,Matrizes (Algebra)
رده :
QA188
.
L36
1985
3924. The theory of matrices. with applications
پدیدآورنده: Lancaster, Peter,9291-, Peter Lancaster, Miron Tismenetsky
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Matrices
رده :
QA
188
.
L36
3925. The theory of matrices : with applications
پدیدآورنده: Peter Lancaster, Miron Tismenetsky,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Matrices
رده :
QA
.
L36
188
1984
3926. The tree of knowledge :
پدیدآورنده: Claudio Ronchi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Science-- History.,History and Philosophical Foundations of Physics.,History of Science.,Physics.,Popular Science in Mathematics/Computer Science/Natural Science/Technology.
رده :
Q125
3927. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
QA276
.
C437
1999
3928. The unknowable
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
276
.
C43
3929. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
QA276
.
C437
1999
3930. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
E-BOOK
3931. The use of projective geometry in computer graphics
پدیدآورنده: I. Herman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Geometry, Projective.,Infographie.
رده :
T385
.
I347
1992
3932. Theoretical Computer Science and Discrete Mathematics
پدیدآورنده: \ [Edited by] S. Arumugam...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a03,a03,Computer security.,کامپیوترها -- ایمنی اطلاعات
رده :
E-Book
,
3933. Theoretical foundations of computer science
پدیدآورنده: Mandrioli, Dino.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics,، Computer science
رده :
QA
39
.
2
.
M336
1987
3934. Theoretical Foundations of computer science
پدیدآورنده: / Dino Mandrioli [and] Carlo Ghezzi
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing--Mathematics
رده :
QA
39
.
2
.
M336
1987
3935. Theoretical Physics on the Personal Computer
پدیدآورنده: by Erich W. Schmid, Gerhard Spitz, Wolfgang Lösch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering.,Mathematical physics.,Physics.
3936. Theoretical and mathematical foundations of computer science :
پدیدآورنده: Qihai Zhou (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
3937. Theoretical aspects of computer science : advanced lectures
پدیدآورنده: Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2292
3938. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
3939. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
3940. Theoretical computer science :
پدیدآورنده: edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
